This notification is to advise you that the latest issue of IEEE Transactions on Software Engineering is currently available to view online. IEEE Transactions on Software Engineering November 2003, Vol. 29, No. 11 Editorial: New AEIC Introduction and AE Farewell J. Knight REGULAR PAPERS Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities E. Teruel, G. Franceschinis, and M. De Pierro Using Spanning Sets for Coverage Testing M. Marre and A. Bertolino A Simulation Study of the Model Evaluation Criterion MMRE T. Foss, E. Stensrud, B. Kitchenham, and I. Myrtveit Evaluation of Several Nonparametric Bootstrap Methods to Estimate Confidence Intervals for Software Metrics S. Lei and M.R. Smith The Construction of Contextual Def-Use Associations for Object-Oriented Systems A.L. Souter and L.L. Pollock Global Analysis and Transformations in Preprocessed Languages D. Spinellis Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls M.W. Bailey and J.W. Davidson An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes M. Alshayeb and W. Li SHORT PAPERS Mathematical Assessment of Object-Oriented Design Quality A. Chatzigeorgiou On Formalization of the Whole-Part Relationship in the Unified Modeling Language H.B.K. Tan, L. Hao, and Y.Yang --------------------------------------------------- If you wish to be removed from this mailing list, send a message to listserv@computer.org with the following text in the body of the message: unsubscribe tse_subscribers ---------------------------------------------------